Buscar
Mostrando ítems 1-10 de 3633
Using Difference Reduction for Generic Proof Search
(Revista Computación y Sistemas; Vol. 2 No. 2 y No. 3, 1998-12-15)
Abstract. In this paper a new approach to generic theorem proving
is introduced. We present a set 01 techniques to guide prool search in framework theories that works with different object theories encoded. The techniques ...
Evolutionary Algorithm for the Vehicles Routing Problem with Time Windows Based on a Constraint Satisfaction Technique
(Revista Computación y Sistemas; Vol. 13 No.3, 2010-02-18)
Abstract. In this paper a Memetic Algorithm (MA) is proposed for solving the Vehicles Routing Problem with Time Win-dows (VRPTW) multi-objective, using a constraint satisfaction heuristic that allows pruning of the search ...
Keyword Identification in Spanish Documents
(Universidad Nacional de La Plata. Facultad de Informática, 2015-12)
The large amount of textual information digitally available today gives rise to the need for effective means of indexing, searching and retrieving this information. Keywords are used to describe briefly and precisely the ...
Análisis del Search Engine Optimization en el sitio web Oaksports durante el mes de junio, Lima – 2016
(Universidad César Vallejo, 2016)
En la presente investigación se planteó el siguiente problema: ¿De qué manera se
presenta el Search Engine Optimization en el sitio web Oaksports, en junio, Lima
– 2016? Asimismo, se determinó el siguiente objetivo: ...
Análisis del Search Engine Optimization en el sitio web Oaksports durante el mes de junio, Lima – 2016
(Universidad César Vallejo, 2016)
En la presente investigación se planteó el siguiente problema: ¿De qué manera se
presenta el Search Engine Optimization en el sitio web Oaksports, en junio, Lima
– 2016? Asimismo, se determinó el siguiente objetivo: ...
Análisis del Search Engine Optimization en el sitio web Oaksports durante el mes de junio, Lima – 2016
(Universidad César Vallejo, 2017)
Solving Multiple Queries through a Permutation Index in GPU
(Revista Computación y Sistemas; Vol. 17 No.3, 2013-09-11)
Abstract. Query-by-content by means of similarity
search is a fundamental operation for applications that
deal with multimedia data. For this kind of query
it is meaningless to look for elements exactly equal
to the ...